A particular class of regular domains

On a Particular Condition for Regular Coequality Relations

Setting of this research is Bishop’s constructive mathematics, the mathematics developed on Intuitionistic logic. If (X, =, 6=, θ) is an anti-ordered set, for a coequality q on X we say that it is strongly regular if it is regular and θ ◦ q ⊆ q ◦ θ holds. In this case, θ ◦ q is a quasi-antiorder relation on X such that the relation Θ = π ◦ θ ◦ π−1 on X/q is the maximal anti-order on X/q.

A Robust Class of Regular Languages

In this survey paper, we present known results and open questions on a proper subclass of the class of regular languages. This class, denoted by W, is especially robust: it is closed under union, intersection, product, shuffle, left and right quotients, inverse of morphisms, length preserving morphisms and commutative closure. It can be defined as the largest positive variety of languages not c...

A class of Hamiltonian regular graphs

In this paper, we show that if n 14 and if G is a Z-connected graph with 2n or 2n1 vertices which is regular of degree n -2, then G is Hamiltonian if and only if G is not the Petersen graph. We use the terminology of Behzad and Chartrand [2]. In particular, a set of vertices in a graph is independent if no two of the vertices in the set are adjacent. A graph is cubic if every vertex of the grap...

A new class of function spaces on domains of R^d and its relations to classical function spaces

On a Particular Class of Lattice-valued Possibilistic Distributions

Investigated are possibilistic distributions taking as their values sequences from the infinite Cartesian product of identical copies of a fixed finite subset of the unit interval of real numbers. Uniform and lexicographic partial orderings on the space of these sequences are defined and the related complete lattices introduced. Lattice-valued entropy function is defined in the common pattern f...